%option noyywrap
%{
#include "stdio.h"
#include "stdlib.h"
int i = 0, j= 0;
long long int integer = 0;
double array[20]={0.0};
double temp = 0.0;
int renum = 0, num = 0;
%}
ID    ^[0-9]{9}
NAME  NAME$
NUM   [1-9][0-9]*|[0-9][0-9]*.[0-9]
SPACE [ \t\n]
%%
{ID} {printf("201492141");}
{NAME} {printf("LRF");}
{NUM} {integer = 0; 
       j = 0; 
       temp = 0;
       temp = (double)atof(yytext);
       while(j<i)
       {
       	   if(temp == array[j])
       	   {
       	   	renum++;
       	   	num++;
       	   	break;
       	   }
       	   j++;
       }
       if(j == i)
       {
       	 num++;
       	 array[i] = temp;
       	 i++;
       }
       integer = (int)(2*temp + 201492141.5);
       printf("%d",integer);
   }

{SPACE} {printf("%s",yytext);}
%%
void main()
{
	yylex();
	printf("%d\t%d\n", num, num-renum);
}

